Feeds to Scour
SubscribedAll
Scoured 146409 posts in 45.1 ms
Compose Stability and Recomposition Optimization — @Stable/@Immutable/skippable
dev.to·1d·
Discuss: DEV
🔄Salsa
CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
arxiv.org·23h
👻Phantom Types
TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B
hackernoon.com·1h
🤖TVM
nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com·22h·
Discuss: Hacker News
🍱Nom
Scoped Resources in C with `__attribute__((mulle_confined_loop))`
mulle-kybernetik.com·17h
🦀Rust Macros
Programming in K
news.ycombinator.com·1d·
Discuss: Hacker News
🔢algo
Structured Outputs for LLMs
ternarysearch.blogspot.com·21h·
Discuss: Hacker News, ternarysearch.blogspot.com
🍱Nom
Optimized Compilation for Distributed Quantum Computing
arxiv.org·23h
⚛️Quantum Computing
LLVM 22.1 Released With Backend, LLDB, and ThinLTO Updates
linuxiac.com·18h
🔨LLVM
Beyond Pandas: Architecting High-Performance Python Pipelines
hackernoon.com·8h
🐙Benthos
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·11h
✓Formal Verification
extended C*-algebra in nLab
ncatlab.org·8h
∘Category Theory
#635, March 2nd 2026
llvmweekly.org·8h
🏗️MLIR
TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
ndss-symposium.org·2d·
Discuss: Hacker News
🤖TVM
Tsonnet #31 - Taking back control of equality
dev.to·7h·
Discuss: DEV
📦Serde
Large induced matchings and minimal blocking sets using parabolas
anuragbishnoi.wordpress.com·8h
💃Dancing Links
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🦀Rust
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·15h
🔗Dependent Types
🐥 Optimizing nested array operations in PHP: from O(3n) to O(n)
yellowduck.be·1d
🔄Salsa
PSU3D0/formualizer: Embeddable spreadsheet engine — parse, evaluate & mutate Excel workbooks from Rust, Python, or the browser. Arrow-powered, 320+ functions.
github.com·9h·
Discuss: r/rust
🏗️Pavex

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help